Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
561	Gradual Typing for Objects Jeremy Siek1 and Walid Taha2 , 1 University of Colorado, Boulder, CO 80309, USA Add to Reading List Source URL: ecee.colorado.edu Language: English Type theory Software engineering Programming language theory Mathematical logic Type systems Data types Gradual typing Subtyping Symbol Type safety Model theory Type inference
562	A Hundred Impossibility Proofs for Distributed Computing Nancy A. Lynch * Lab for Computer Science MIT, Cambridge, MAlynchQtds.Ics.mit.edu Add to Reading List Source URL: groups.csail.mit.edu Language: English - Date: 2002-07-16 15:58:53 Fault-tolerant computer systems Mathematical logic Distributed computing Consensus Failure Theory of computation Proof of impossibility Algorithm Byzantine fault tolerance Parallel computing Shared register
563	ON TEMPORAL PLANNING AND REASONING WITH POINT-INTERVAL LOGIC by Syed Muhammad Mashhood Ishaque A Thesis Submitted to the Graduate Faculty of Add to Reading List Source URL: www.eecs.tufts.edu Language: English - Date: 2006-04-17 15:47:52 Algorithm Mathematical logic Theoretical computer science Graph of a function Mathematics Academia Abstraction
564	Learning commutativity specifications a ct * Consi se Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2015-05-29 09:22:24 Logic Model theory Mathematical logic Metalogic First-order logic Constructible universe Type NIP Structure Confidence interval Well-formed formula Linear temporal logic
565	Probabilistic Algorithms and Ramsey-Type Principles in Reverse Mathematics Laurent Bienvenu Ludovic Patey Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2013-04-16 05:41:31 Mathematics Logic Proof theory Mathematical proofs Lemma Theorem Abstraction Reverse mathematics BPP
566	L UDOCORE: A Logical Game Engine for Modeling Videogames Adam M. Smith, Mark J. Nelson, and Michael Mateas Abstract— L UDOCORE is a logical “game engine”, linking game rules as reasoned about by game designers to t Add to Reading List Source URL: game.itu.dk Language: English - Date: 2010-08-10 12:41:00 Leisure Mathematical logic Video game development Logic Game design Conceptual model Metaphor Simulation Gameplay The Trace Knowledge representation and reasoning Artificial intelligence
567	Curriculum Vitæ Karolina Krzyżanowska Munich Center for Mathematical Philosophy Ludwig-Maximilians-Universität München Fakultät für Philosophie, Wissenschaftstheorie und Religionswissenschaft Add to Reading List Source URL: karolinakrzyzanowska.com Language: English - Date: 2016-04-15 19:10:52 Conditionals Epistemology American philosophers Formal epistemology Formalism Gregory Wheeler Stephan Hartmann Indicative conditional European Summer School in Logic Language and Information Causality Philosophy
568	Alternating-time Temporal Logics with Irrevocable Strategies Agotnes Thomas ˚ Dept. of Computer Engineering Bergen University College, Add to Reading List Source URL: folk.uib.no Language: English - Date: 2007-05-18 19:37:50 Logic Mathematical logic Model theory Mathematics Formal languages Linear temporal logic Temporal logic Symbol Substitution Interpretation Structure Constructible universe
569	On strong standard completeness of MTLQ ∗ expansions Amanda Vidal1 , Lluis Godo1 , and Francesc Esteva1 Artificial Intelligence Research Institute (IIIA - CSIC), Spain, [amanda][godo][esteva]@iiia.csic.es Add to Reading List Source URL: logica.dmi.unisa.it Language: English - Date: 2015-05-04 03:55:14 Fuzzy logic Mathematical logic Model theory Metalogic Proof theory Monoidal t-norm logic BL ukasiewicz logic First-order logic Completeness Axiom Metamathematics
570	Characterization of the Axiomatizable Prenex Fragments of First-Order Gödel Logics Matthias Baaz∗ Technische Universität Wien A–1040 Vienna, Austria Add to Reading List Source URL: www.preining.info Language: English - Date: 2005-04-12 18:14:28 Logic Mathematical logic Abstraction Non-classical logic Model theory Predicate logic First-order logic Intermediate logic Many-valued logic FO Kripke semantics Fuzzy logic

UPDATE